$\forall$${\it the\_es}$:ES, $e$:E. val($e$) $\in$ valtype($e$)